Representing Types as Neural Events
نویسندگان
چکیده
منابع مشابه
Representing Session Types
In this paper we propose a logical foundation of processes and their focused normal forms. We use a linear meta-language based on substructural operational semantics to describe focused forms of processes, and compare them to standard π-calculus processes with their respective operational semantics. The overall goal of this research is to understand how to reason about processes, multiparty com...
متن کاملRepresenting Nested Inductive Types Using W-Types
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-Löf category (extensive locally cartesian closed category with W-types) by exploiting our work on container types. This generalises a result by Dybjer (1997) who showed that non-nested strictly positive inductive types can be re...
متن کاملRepresenting Specialized Events with FrameBase
Events of various sorts make up an important subset of the entities relevant not only in knowledge representation but also in natural language processing and numerous other fields and tasks. How to represent these in a homogeneous yet expressive, extensive, and extensible way remains a challenge. In this paper, we propose an approach based on FrameBase, a broad RDFS-based schema consisting of f...
متن کاملRepresenting Code History with Development Environment Events
Modern development environments handle information about the intent of the programmer: for example, they use abstract syntax trees for providing high-level code manipulation such as refactorings; nevertheless, they do not keep track of this information in a way that would simplify code sharing and change understanding. In most Smalltalk systems, source code modifications are immediately registe...
متن کاملRepresenting Events Using Fuzzy Temporal Boundaries
This study investigates whether people represent the beginnings and ends of events as fuzzy temporal frames and subsequently construct event temporal relations. The study adopted Allen’s (1984; 1991) seven logical categories of temporal relations. Constructing the seven relations often requires the accurate encoding and (or) retrieval of the beginnings and ends of events. We used a recurrent ne...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2019
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-019-09285-4